| emsoft | participants

Yatin A. Manerkar

EMSOFT 2023: 23rd International Conference on Embedded Software

Towards Building Verifiable CPS using Lingua Franca

Shaokai Lin, Yatin A. Manerkar, Marten Lohstroh, Elizabeth Polgreen, Sheng-Jung Yu, Chadlia Jerad, Edward A. Lee, and Sanjit A. Seshia